让 X 是一个反的系统的限制 { X，， } 并且并且让是最重要的数字。假定那各个设计：X X 是一开并且到地图和 X 上是 -paracompact。如果......